61. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses

Classification :
Q
334
.
S632
1990

62. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L28
Vol
.
465

63. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses

Classification :
QA
76
.
L5663
1991